projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b5dc03d 2b425fa)
Merge branch 'ci-jobs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 11 Feb 2020 15:25:48 +0000 (15:25 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 11 Feb 2020 15:25:48 +0000 (15:25 +0000)
Update CI jobs

See merge request GNOME/gtk!1412


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.